solving linear systems substitution method